Search Results
Analysis and Testing for Probabilistic Programming - Sasa Misailovic
[Midwest PL Summit] Storm Program Reduction for Testing and Debugging Probabilistic Programming
A Dual Number Abstraction for Static Analysis of Clarke Jacobians (Teaser)
Towards Probabilistic Programming for Reliable Machine Perception - Marco Cusumano-Towner
Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
Programming Models for Estimates, Approximation, and Probabilistic Reasoning
ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Towards Verified Robot Code
A New Approach for Software Correctness and Reliability
Reasoning about Approximate Computing Abstract
Safe and Robust Deep Learning - Gagandeep Singh
Stanford Seminar - Efficient and Resilient Systems in the Cognitive Era
![[Midwest PL Summit] Storm Program Reduction for Testing and Debugging Probabilistic Programming](https://img.youtube.com/vi/xmxABPUKHr8/hqdefault.jpg)
